unsaturated logic

不饱和逻辑;非饱和逻辑